https://dasbestelexikon.de/en/wiki/Tupper's_self-referential_formula